home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / systems / atari / driver / Dvi_110 / dvi_util.lzh / SHORT_PK.DOC < prev    next >
Text File  |  1993-07-16  |  880b  |  18 lines
  1. Version 1.00 vom 15.7.93         SHORT_PK
  2. ╜ 1993 by m. pristovsek          ========
  3.  
  4. Wenn man sich PK-Dateien ansieht, dann stellt man fest, das bis zu 15% 
  5. überflüssig sind: Der Kommentar ist für persönlichen Gebrauch unwichtig und die 
  6. \special-Befehle bearbeitet der Treiber eh nicht. (Zumindest die, die ich 
  7. benutze.) Also: weg damit.
  8.  
  9. Damit SHORT_PK einfach wird, ist keine Suchfunktion eingebaut. Aber man kann den 
  10. Treiber von einer UNIX-Shell (Mupfel, tcsh, ...) starten. Z.B.: (Aktueller Pfad 
  11. ist das PK-Verzeichnis):        short_pk *.pk
  12.  
  13. Wenige Fehlerprüfungen werden gemacht, wenn also eine PK-Datei defekt ist, kann 
  14. SHORT_PK abstürzen oder eine Datei schreiben, bis die Platte voll ist. Ich 
  15. übernehme keine Gewähr für nix. Au₧erdem geht SHORT_PK davon aus, da₧ genügend 
  16. Speicher da ist, denn die Datei sollte eigentlich kürzer werden.
  17.  
  18. prissi@marie.physik.tu-berlin.de